let (_ : exn & Failure _) = exn ()